Consistency model

Results: 268



#Item
71Fault-tolerant computer systems / Concurrent computing / Computer architecture / Linearizability / Consensus / State machine replication / Trace / Distributed algorithm / Consistency model / Computing / Transaction processing / Concurrency control

Speculative Linearizability Rachid Guerraoui Viktor Kuncak Giuliano Losa

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-03-24 17:12:17
72Computing / Functional programming / Monad / Bidirectional transformation / Gottfried Leibniz / Determinism / Model theory / Consistency model / Adjoint functors / Philosophy / Software engineering

Bidirectional Transformation is Effectful Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1 2

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2015-03-26 11:58:13
73Concurrent computing / Distributed data storage / Distributed computing architecture / Routing / Peer-to-peer / Coda / Consistency model / Client–server model / Computing / Network file systems / Computer architecture

PADS: A Policy Architecture for Distributed Storage Systems Nalini Belaramani∗ , Jiandan Zheng§ , Amol Nayate† , Robert Soul´e‡ , Mike Dahlin∗ , Robert Grimm‡ ∗ The § Amazon.com

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2009-03-05 14:09:49
74Data / Data synchronization / Fault-tolerant computer systems / Consistency model / Structured storage / Eventual consistency / ACID / Consistency / Replication / Data management / Computing / Transaction processing

PDF Document

Add to Reading List

Source URL: www.tpc.org

Language: English - Date: 2013-09-24 14:06:53
753D computer graphics / 3D imaging / Shading / Photo-consistency / computer vision / Voxel / Phong reflection model / Pixel / Specular highlight / Imaging / Optics / Computer graphics

To Appear in ICCVDealing with Textureless Regions and Specular Highlights—A Progressive Space Carving Scheme Using a Novel Photo-consistency Measure Ruigang Yang∗ † , Marc Pollefeys† , and Greg Welch† De

Add to Reading List

Source URL: www.inf.ethz.ch

Language: English - Date: 2004-01-09 02:36:02
76Theoretical computer science / Type theory / Transaction processing / Logic in computer science / Programming language semantics / Denotational semantics / Object / Type system / Consistency model / Data types / Computing / Software engineering

Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2014-11-02 12:47:33
77Computing / Class / Data model / Inheritance / Regular expression / Object-oriented design / Object / Software engineering / Object-oriented programming / Computer programming

International Symposium on Object Technologies for Advanced Software, pages, Kanazawa, Japan, NovemberSpringer Verlag. Maintaining Behavioral Consistency during Schema Evolution Paul L. Bergstein and Walte

Add to Reading List

Source URL: www.cis.umassd.edu

Language: English - Date: 2004-09-21 14:38:31
78Theoretical physics / Scientific method / Mathematical physics / Scientific theory / Quantum field theory / String theory / Falsifiability / Gauge theory / Standard Model / Physics / Particle physics / Philosophy of science

arXiv:1211.0634v1 [physics.hist-ph] 3 NovEffective Field Theories and the Role of Consistency in Theory Choice James D. Wells CERN Theoretical Physics (PH-TH), CH-1211 Geneva 23, Switzerland

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-11-05 20:10:55
79Theoretical computer science / Computer programming / Concurrency control / Model checking / Parallel computing / Linearizability / Correctness / Software bug / Consistency model / Computing / Transaction processing / Software engineering

MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2007-11-21 12:53:21
80Structured storage / Consistency model / Data management / Amazon SimpleDB / NoSQL / Eventual consistency / Data consistency / Replication / Weak consistency / Computing / Data / Transaction processing

Replicated Data Consistency Explained Through Baseball Doug Terry Microsoft Research Silicon Valley MSR Technical Report October 2011

Add to Reading List

Source URL: pages.cs.wisc.edu

Language: English - Date: 2012-08-17 10:23:53
UPDATE